Infinite GMRES for Parameterized Linear Systems
نویسندگان
چکیده
We consider linear parameterized systems $A(\mu) x(\mu) = b$ for many different $\mu$, where $A$ is large and sparse depends nonlinearly on $\mu$. Solving such individually each $\mu$ would require great computational effort. In this work we propose to compute a partial parameterization $\tilde{x} \approx x(\mu)$, $\tilde{x}(\mu)$ cheap evaluate Our methods are based the observation that companion linearization can be formed dependence only linear. particular, presented combine well-established Krylov subspace method systems, GMRES, with algorithms nonlinear eigenvalue problems (NEPs) generate basis subspace. Within new approach, matrix constructed in three ways, using tensor structure exploiting certain have low-rank properties. The analyzed analogously standard convergence theory GMRES systems. More specifically, error estimated magnitude of parameter spectrum matrix, which corresponds reciprocal solutions corresponding NEP. Numerical experiments illustrate competitiveness large-scale problems. simulations reproducible publicly available online.
منابع مشابه
Inexact GMRES for singular linear systems
Inexact Krylov subspace methods have been shown to be practical alternatives for the solution of certain linear systems of equations. In this paper, the solution of singular systems with inexact matrix-vector products is explored. Criteria are developed to prescribe how inexact the matrix-vector products can be, so that the computed residual remains close to the true residual, thus making the i...
متن کاملEquivalence Checking for Infinite Systems Using Parameterized Boolean Equation Systems
In this paper, we provide a transformation from the branching bisimulation problem for infinite, concurrent, data-intensive systems in linear process format, into solving Parameterized Boolean Equation Systems. We prove correctness, and illustrate the approach with an unbounded queue example. We also provide some adaptations to obtain similar transformations for weak bisimulation and simulation...
متن کاملInfinite-state Stochastic and Parameterized Systems
Ben Henda, N. 2008. Infinite-state Stochastic and Parameterized Systems. Acta Universitatis Upsaliensis. Uppsala Dissertations from the Faculty of Science and Technology 76. 281 pp. Uppsala. ISBN 978-91-554-7228-3. A major current challenge consists in extending formal methods in order to handle infinite-state systems. Infiniteness stems from the fact that the system operates on unbounded data ...
متن کاملDynamic block GMRES: an iterative method for block linear systems
We present variants of the block-GMRES(m) algorithms due to Vital and the block-LGMRES(m,k) by Baker, Dennis and Jessup, obtained with replacing the standard QR factorization by a rank-revealing QR factorization in the Arnoldi process. The resulting algorithm allows for dynamic block deflation whenever there is a linear dependency between the Krylov vectors or the convergence of a right-handsid...
متن کاملA Framework for the Verification of Parameterized Infinite-State Systems
We present our tool, developed for the analysis and verification of parameterized infinite-state systems. The framework has been successfully applied in the verification of programs handling unbounded data-structures. In such application domain, being able to infer quantified invariants is a mandatory requirement for successful results. We will describe the techniques implemented in our system ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: SIAM Journal on Matrix Analysis and Applications
سال: 2022
ISSN: ['1095-7162', '0895-4798']
DOI: https://doi.org/10.1137/21m1410324